Logical Formalizations of Commonsense Reasoning: A Survey
نویسنده
چکیده
Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one. One approach that has been pursued since the earliest days of the field has been to encode commonsense knowledge as statements in a logic-based representation language and to implement commonsense reasoning as some form of logical inference. This paper surveys the use of logic-based representations of commonsense knowledge in artificial intelligence research.
منابع مشابه
A Commonsense Theory of Mind-Body Interaction
We propose a logical formalization of a commonsense theory of mind-body interaction as a step toward a deep lexical semantics for words and phrases related to this topic.
متن کاملAutonomous Learning of Commonsense Simulations
Parameter-driven simulations are an effective and efficient method for reasoning about a wide range of commonsense scenarios that can complement the use of logical formalizations. The advantage of simulation is its simplified knowledge elicitation process: rather than building complex logical formulae, simulations are constructed by simply selecting numerical values and graphical structures. In...
متن کاملThe Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning
The Jobs Puzzle, introduced in a book about automated reasoning, is a logic puzzle solvable by some “intelligent sixth graders,” but the formalization of the puzzle by the authors was, according to them, “sometimes difficult and sometimes tedious.” The puzzle thus presents a triple challenge: 1) formalize it in a non-difficult, nontedious way; 2) formalize it in a way that adheres closely to th...
متن کاملThe Formalization of Practical Reasoning: An Opinionated Survey
Example 1. Ordering a meal at a restaurant. The deliberating agent sits down in a restaurant and is offered a menu. Here, the problem is deciding what to eat and drink. Even if the only relevant factors are price and preferences about food, the number of possible combinations is very large. The reasoning may involve weighing preferences about food and drink against preferences about cost, but m...
متن کاملRoboson Crusoe - or - What Is Common Sense?
I will present a perspective on human-level commonsense behavior (HLCSB) that differs from commonsense reasoning (CSR) as the latter is often characterized in AI. I will argue that HLCSB is not far beyond the reach of current technology, and that it also provides solutions to some of the problems that plague CSR, most notably the brittleness problem. A key is the judicious use of metacognitive ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Artif. Intell. Res.
دوره 59 شماره
صفحات -
تاریخ انتشار 2017